ocr: General HTML mode Preferences Page 2 of preferences Simple coloring Color of HTML tags: blue Color of attributes: magenta Color of strings: green 'Help' opens first page in manual Cmd-double-clicking on non-text file link opens file Return on non-text file in home page window opens file 'Insert include tags' only inserts tags OK Cancel
